(note_mouse_highlight): Avoid changing the mouse
authorGerd Moellmann <gerd@gnu.org>
Mon, 14 May 2001 14:54:29 +0000 (14:54 +0000)
committerGerd Moellmann <gerd@gnu.org>
Mon, 14 May 2001 14:54:29 +0000 (14:54 +0000)
commitcd3990d6eccc0173b4843d5e2971f1acbb45a004
treeb035d5380746d57bab3a172d3f0d2bb17c795270
parent315bb62997e67c2dba426c4a29de9670ebf8cdc2
(note_mouse_highlight): Avoid changing the mouse
pointer shape when show_mouse_face has already done it.
src/xterm.c